Valentini & Solitro 1983, Theorem 2
Theorem 2
$ \bf GL
はletterlessな
$ \sf .w3
を証明できる．このことを使うと以下は同値になる．
1. 任意の
0-代入
$ s
で
$ \mathbf{GL} \vdash s(\varphi)
2.
$ \bf GL.3 \vdash \varphi
#様相論理GL.3
#様相論理GL